//]]>
Unhighlight Highlight
User-Level Workflow Design by Lamprecht, Anna-Lena. Publication: . XXII, 223 p. 84 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing Software and Systems by Yenigün, Hüsnü. Publication: . XIV, 291 p. 84 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Functional Languages by Hinze, Ralf. Publication: . X, 241 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model-Driven Engineering Languages and Systems by Moreira, Ana. Publication: . XXVIII, 792 p. 299 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering for Resilient Systems by Gorbenko, Anatoliy. Publication: . X, 199 p. 87 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Logic in Multi-Agent Systems by Leite, João. Publication: . XXIV, 391 p. 75 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Reasoning and Rule Systems by Faber, Wolfgang. Publication: . XIV, 272 p. 47 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory, Practice, and Applications of Rules on the Web by Morgenstern, Leora. Publication: . XVIII, 249 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Symbolic and Quantitative Approaches to Reasoning with Uncertainty by Gaag, Linda C. Publication: . XII, 536 p. 62 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Architecture by Drira, Khalil. Publication: . XVI, 354 p. 133 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modelling Foundations and Applications by Gorp, Pieter. Publication: . X, 237 p. 93 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
SDL 2013: Model-Driven Dependability Engineering by Khendek, Ferhat. Publication: . XII, 291 p. 138 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Model Transformations by Duddy, Keith. Publication: . XIV, 221 p. 85 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Services and Formal Methods by Beek, Maurice H. Publication: . X, 151 p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamental Approaches to Software Engineering by Cortellessa, Vittorio. Publication: . XX, 376 p. 90 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Components and Objects by Beckert, Bernhard. Publication: . X, 356 p. 129 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Aspects of Component Software by Păsăreanu, Corina S. Publication: . X, 277 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools for Practical Software Verification by Meyer, Bertrand. Publication: . VIII, 183 p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Aspects of Component Software by Arbab, Farhad. Publication: . X, 369 p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Aspect-Oriented Software Development IX by Leavens, Gary T. Publication: . XIV, 307 p. 97 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 Next >>
Languages: 
English |
العربية